//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#include "ddk_tst_print.h"

EXTERN_C void CDECL DDK_PRINT_BLOCK_START(const char * filename)
{
    kprintf("DDK_PRINT_BLOCK_START(%s)\n", filename);
    return;
}

EXTERN_C void CDECL DDK_PRINT_BLOCK_END()
{
    kprintf("DDK_PRINT_BLOCK_END\n");
    return;
}

EXTERN_C void CDECL DDK_PRINT_LINE_START(const char * filename)
{
    kprintf("DDK_PRINT_LINE_START(%s)\n", filename);
    return;
}

EXTERN_C void CDECL DDK_PRINT_LINE_END()
{
    kprintf("DDK_PRINT_LINE_END\n");
    return;
}
